Buy Used and New Nikolaj Bjørner Books

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings: 9109 (Lecture Notes in Computer Science)

by Nikolaj Bjørner,Frank de Boer

ISBN 13: 9783319192482

Format: Paperback (628 pages)
Publisher: Springer
Published: 14 Jul 2015

Save for later